$\forall$$T$:Type, $R$:($T$$\rightarrow$$T$$\rightarrow\mathbb{P}$), $L$:($T$ List), $x$, $y$:$T$. rel{-}path{-}between($T$;$R$;$x$;$y$;$L$) $\in$ $\mathbb{P}$